1. Prgramming from first principles
پدیدآورنده : Bornat, Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : programming ، Electronic digital computers
رده :
QA
76
.
6
.
B66
1987
2. Programming from first principles
پدیدآورنده : Bornat, Richard
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
B66
1986
3. Programming from first principles
پدیدآورنده : Bornat, Richard
موضوع : ، Electronic digital computers-- Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
4. Programming from first principles
پدیدآورنده : Bornat, Richard, 4491-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
B66
5. Programming from first principles
پدیدآورنده : BORNAT,RICHARD
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
6
.
B66
6. Proof and Disproof in Formal Logic
پدیدآورنده : /Richard Bornat
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع :
7. Proof and Disproof in Formal Logic
پدیدآورنده : \ Richard Bornat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Evidence,Logic, Modern,منطق جدید
رده :
E-Book
,
8. Proof and disproof in formal logic
پدیدآورنده : / Richard Bornat
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Evidence.,Logic, Modern.
رده :
BC
,
173
,.
B67
,
2005
9. Proof and disproof in formal logic : an introduction for programmers
پدیدآورنده : Bornat, Richard, 4491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Evidence,، Logic, Modern
رده :
BC
173
.
B67P7
10. Understanding and writing compilers
پدیدآورنده : / Richard Bornat,Bornat
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Compilers ( Computer programs)
رده :
QA
76
.
76
.
C65B6
1979
R
